kw.\*:("AMELIORATION PROGRAMME")
Results 1 to 1 of 1
Selection :
Procedure compilation in the refinement calculusLERMER, K; FIDGE, C. J.Formal aspects of computing. 2006, Vol 18, Num 2, pp 152-180, issn 0934-5043, 29 p.Article